категоричная в мощности теория

Игры ⚽ Нужна курсовая?

ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… … Математическая энциклопедия
СТАБИЛЬНЫЕ И НЕСТАБИЛЬНЫЕ ТЕОРИИ — раздел моделей теории, изучающий стабильность элементарных теорий. Пусть Т полная теория первого порядка сигнатуры А модель теории Ти Сигнатура получается из добавлением символов с а выделенных элементов для всех Система <А, X> имеет сигнатуру … Математическая энциклопедия

Словари и энциклопедии на Академике